Π1 classes and orderable groups
نویسنده
چکیده
It is known that the spaces of orders on orderable computable fields can represent all Π1 classes up to Turing degree. We show that the spaces of orders on orderable computable abelian and nilpotent groups cannot represent Π1 classes in even a weak manner. Next, we consider presentations of ordered abelian groups, and we show that there is a computable ordered abelian group for which no computable presentation admits a computable set of representatives for its Archimedean classes.
منابع مشابه
Polynomially orderable classes of structures
It is well known in descriptive computational complexity theory that xpoint logic captures polynomial time on the class of ordered nite structures The same is true on any class of structures on which a polynomial number of orders are de nable in xpoint logic We call a class having this property polynomially orderable We investigate this property and give examples of polynomially orderable class...
متن کاملOn the complexity of recognizing a orderable graphs
Recently Middendorf and Pfeiffer proved that recognizing perfectly orderable graphs is NP-complete. Hoang and Reed had previously studied six natural subclasses of perfectly orderable graphs that are defined by the orientations of the P,‘s. Four of the six classes can be recognized in polynomial time. We show in this paper that it is NP-complete to recognize the fifth class.
متن کاملOn L-spaces and Left-orderable Fundamental Groups
Examples suggest that there is a correspondence between L-spaces and 3manifolds whose fundamental groups cannot be left-ordered. In this paper we establish the equivalence of these conditions for several large classes of such manifolds. In particular, we prove that they are equivalent for any closed, connected, orientable, geometric 3-manifold that is non-hyperbolic, a family which includes all...
متن کامل1 0 Fe b 20 03 Non - left - orderable 3 - manifold groups
We show that several torsion free 3-manifold groups are not left-orderable. Our examples are groups of cyclic branched covers of S branched along links. The figure eight knot provides simple nontrivial examples. The groups arising in these examples are known as Fibonacci groups which we show not to be left-orderable. Many other examples of non-orderable groups are obtained by taking 3-fold bran...
متن کاملN ov 2 00 5 Limit groups , positive - genus towers and measure equivalence
An ω-residually free tower is positive-genus if all surfaces used in its construction are of positive genus. We prove that every limit group is virtually a subgroup of a positive-genus ω-residually free tower. By combining this with results of Gaboriau, we prove that elementarily free groups are measure equivalent to free groups. Measure equivalence was introduced by M. Gromov in [8] as a measu...
متن کامل